Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств
1
Proof Theory

Proof Theory

Gaisi Takeuti
Год:
2013
Язык:
english
Файл:
EPUB, 27.43 MB
5.0 / 0
english, 2013
2
Axiomatic Set Theory

Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring (auth.)
Год:
1973
Язык:
english
Файл:
PDF, 13.24 MB
5.0 / 5.0
english, 1973
3
Proof Theory

Proof Theory

Gaisi Takeuti, 竹内 外史
Год:
1987
Язык:
english
Файл:
PDF, 23.91 MB
0 / 0
english, 1987
4
Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring
Год:
1982
Язык:
english
Файл:
DJVU, 1.87 MB
0 / 0
english, 1982
5
層・圏・トポス——現代的集合像を求めて

層・圏・トポス——現代的集合像を求めて

Gaisi Takeuti, 竹内 外史
Год:
2010
Язык:
japanese
Файл:
PDF, 9.00 MB
0 / 5.0
japanese, 2010
6
証明論と計算量

証明論と計算量

Gaisi Takeuti, 竹内 外史
Год:
1995
Язык:
japanese
Файл:
PDF, 9.80 MB
0 / 5.0
japanese, 1995
7
数理論理学—語の問題

数理論理学—語の問題

Gaisi Takeuti, 竹内 外史
Год:
1973
Язык:
japanese
Файл:
PDF, 14.73 MB
0 / 4.5
japanese, 1973
8
Proof theory

Proof theory

Gaisi Takeuti
Год:
1987
Язык:
english
Файл:
DJVU, 4.47 MB
0 / 0
english, 1987
9
Proof Theory

Proof Theory

Gaisi Takeuti
Год:
1975
Язык:
english
Файл:
PDF, 5.95 MB
0 / 0
english, 1975
10
Memoirs of a Proof Theorist: Gödel and Other Logicians

Memoirs of a Proof Theorist: Gödel and Other Logicians

Gaisi Takeuti, Nicholas Passell, Mariko Yasugi
Год:
2003
Язык:
english
Файл:
PDF, 4.79 MB
0 / 0
english, 2003
11
Two Applications of Logic to Mathematics

Two Applications of Logic to Mathematics

Gaisi Takeuti
Год:
1978
Язык:
english
Файл:
PDF, 1.15 MB
0 / 0
english, 1978
12
Axiomatic Set Theory

Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring (auth.)
Год:
1973
Язык:
english
Файл:
DJVU, 2.33 MB
0 / 0
english, 1973
13
Proof Theory

Proof Theory

Gaisi Takeuti
Год:
1975
Язык:
english
Файл:
DJVU, 2.24 MB
0 / 0
english, 1975
14
Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)

Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)

Takeuti, Gaisi
Год:
1987
Язык:
english
Файл:
DJVU, 4.47 MB
0 / 0
english, 1987
15
Memoirs of a proof theorist: Goedel and other logicians

Memoirs of a proof theorist: Goedel and other logicians

Gaisi Takeuti, Nicholas Passell, Mariko Yasugi
Год:
2003
Язык:
english
Файл:
DJVU, 891 KB
0 / 0
english, 2003
16
Proof Theory

Proof Theory

Gaisi Takeuti [Takeuti, Gaisi]
Год:
1987
Язык:
english
Файл:
PDF, 23.40 MB
0 / 4.0
english, 1987
17
Memoirs of a Proof Theorist: Gödel and Other Logicians

Memoirs of a Proof Theorist: Gödel and Other Logicians

Gaisi Takeuti, Nicholas Passell, Mariko Yasugi
Год:
2003
Язык:
english
Файл:
DJVU, 892 KB
0 / 0
english, 2003
18
Axiomatic Set Theory

Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring (auth.)
Год:
1973
Язык:
english
Файл:
DJVU, 6.27 MB
0 / 0
english, 1973
19
Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring
Год:
1982
Язык:
english
Файл:
PDF, 14.28 MB
5.0 / 5.0
english, 1982
20
Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring (auth.)
Год:
1982
Язык:
english
Файл:
PDF, 4.37 MB
5.0 / 0
english, 1982
21
Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring
Год:
1982
Язык:
english
Файл:
PDF, 6.45 MB
0 / 0
english, 1982
22
Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring
Год:
1982
Язык:
english
Файл:
PDF, 15.10 MB
0 / 0
english, 1982
23
Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring
Год:
1982
Язык:
english
Файл:
PDF, 14.15 MB
5.0 / 0
english, 1982
24
Axiomatic Set Theory

Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring (auth.)
Год:
1973
Язык:
english
Файл:
DJVU, 1.18 MB
5.0 / 5.0
english, 1973
25
Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring
Год:
1982
Язык:
english
Файл:
PDF, 4.37 MB
5.0 / 0
english, 1982
26
Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring
Год:
1971
Язык:
english
Файл:
PDF, 13.72 MB
0 / 0
english, 1971
27
Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring
Год:
1982
Язык:
english
Файл:
DJVU, 4.01 MB
0 / 0
english, 1982
28
Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Gaisi Takeuti, Wilson M. Zaring
Год:
1982
Язык:
english
Файл:
DJVU, 4.01 MB
0 / 0
english, 1982
29
Two Applications of Logic to Mathematics

Two Applications of Logic to Mathematics

Gaisi Takeuti
Год:
1978
Язык:
english
Файл:
DJVU, 961 KB
0 / 0
english, 1978
30
Introduction to axiomatic set theory

Introduction to axiomatic set theory

Zaring, Wilson M., Takeuti, Gaisi
Год:
1982
Язык:
english
Файл:
DJVU, 1.51 MB
0 / 0
english, 1982
32
Two Applications of Logic to Mathematics

Two Applications of Logic to Mathematics

Gaisi Takeuti
Год:
2015
Язык:
english
Файл:
PDF, 3.69 MB
0 / 0
english, 2015